#ifndef _PIGOS_TTY_H_
#define _PIGOS_TTY_H_
void read_tty(char *buf);
void write_tty(const char *buf);

void printk(const char *fmt, ...);
#endif /* _PIGOS_TTY_H_ */
